Add a forgotten break in render_border
authorMatthias Clasen <mclasen@redhat.com>
Fri, 30 Nov 2012 03:42:36 +0000 (22:42 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 30 Nov 2012 04:10:34 +0000 (23:10 -0500)
commit6400eeba35e4eb52660b1449bcfa0df8aabd7864
tree962ae2b9b5c31b229a67bf6cd8450ff0561b53ea
parenta7ed598d3705774327d36664dfcc38384e06aa0b
Add a forgotten break in render_border

The GTK_BORDER_STYLE_DOUBLE case was clearly not meant to
fall through to the subsequent cases, yet it did.
Found by Coverity.
gtk/gtkthemingengine.c